CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets
نویسندگان
چکیده
CPN/Tools is a major redesign of the popular Design/CPN tool from the University of Aarhus CPN group. The new interface is based on advanced, post-WIMP interaction techniques, including bi-manual interaction, toolglasses and marking menus and a new metaphor for managing the workspace. It challenges traditional ideas about user interfaces, getting rid of pull-down menus, scrollbars, and even selection, while providing the same or greater functionality. It also uses the new and much faster CPN simulator and features incremental syntax checking of the nets. CPN/Tools requires an OpenGL graphics accelerator and will run on all major platforms.
منابع مشابه
CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets – Version 1.0 and Beyond
CPN Tools is a tool for editing, simulating and analysing Coloured Petri Nets. The GUI is based on advanced interaction techniques, such as toolglasses, marking menus, and bi-manual interaction. The tool features incremental syntax checking and code generation which take place while a net is being constructed. Version 1.0 of CPN Tools was released in November 2003. The version is stable, well-t...
متن کاملCPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets
CPN Tools is a tool for editing, simulating and analysing Coloured Petri Nets. The GUI is based on advanced interaction techniques, such as toolglasses, marking menus, and bi-manual interaction. Feedback facilities provide contextual error messages and indicate dependency relationships between net elements. The tool features incremental syntax checking and code generation which take place while...
متن کاملCPN Tools 4: Multi-formalism and Extensibility
CPN Tools is an advanced tool for editing, simulating, and analyzing colored Petri nets. This paper discusses the fourth major release of the tool, which makes it simple to use the tool for ordinary Petri nets, including adding inhibitor and reset arcs, and PNML export. This version also supports declarative modeling using constraints, and adds an extension framework making it easy for third pa...
متن کاملApplication of CPN Tools for Simulation and Analysis of Bandwidth Allocation
We consider the problem of bandwidth allocation in a substrate network as an optimization problem for the aggregate utility of multiple applications with diverse requirements and describe a simulation scheme for dynamically adaptive bandwidth allocation protocols. The proposed simulation model based on Coloured Petri Nets (CPN) is realized using CPN Tools. Keywords—Bandwidth Allocation Problem,...
متن کاملRedesigning Design/CPN: Integrating Interaction and Petri Nets In Use
This paper describes the redesign of the interface for Design/CPN, a graphical editor for building, simulating, and analyzing Coloured Petri Nets. One of our goals in the redesign is to explore how recent advances in graphical interfaces and interaction techniques can improve the editor’s support for CP-net designers. This requires an understanding of Petri Nets In Use, our term for the collect...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001